extern int top;

int is_empty(void)
{
    return top == 1;
}
